-
1 axiom scheme
-
2 axiom scheme
Большой англо-русский и русско-английский словарь > axiom scheme
-
3 axiom scheme
1) Математика: схема аксиом2) Вычислительная техника: система аксиом -
4 axiom scheme
English-Russian dictionary of computer science and programming > axiom scheme
-
5 axiom scheme
мат. -
6 axiom scheme
-
7 axiom scheme
English-Russian dictionary of computer science > axiom scheme
-
8 axiom scheme
The English-Russian dictionary general scientific > axiom scheme
-
9 axiom
аксиома, постулат -
10 scheme
1) схема || составлять схему2) план; замысел || планировать, замышлять•- composite sampling scheme - decisive scheme - double sampling scheme - singly connected scheme -
11 scheme
[ski:m]agricultural scheme структура сельского хозяйства allocation scheme вчт. схема размещения amended scheme усовершенствованная программа amortization scheme план погашения долга в рассрочку assurance scheme система гарантий audit scheme порядок ревизии axiom scheme схема аксиом block scheme блок-схема block scheme структурная схема bonus scheme порядок получения надбавок к заработной плате bonus scheme система участия в прибылях scheme интрига, махинация; происки; bubble scheme дутое предприятие certification scheme порядок сертификации classification scheme система классификации coding scheme вчт. схема кодирования scheme система, построение, расположение; under the present scheme of society при современном устройстве общества; a colour scheme сочетание цветов Community scheme структура Европейского экономического сообщества company health insurance scheme система страхования работников компании от болезней compulsory insurance scheme страх. порядок обязательного страхования computational scheme вычислительный алгоритм concessionary scheme концессионная политика conditional sale scheme порядок условной продажи conversion scheme порядок конверсии costing scheme порядок калькуляции себестоимости debt rescheduling scheme программа реструктуризации долга decoding scheme схема декодирования depositors' guarantee scheme программа обеспечения защиты вкладов discount scheme система учетных ставок distribution scheme система распределения duty scheme график дежурств explanatory scheme пояснительная схема financial scheme финансовый план financing scheme план финансирования financing scheme программа финансирования forward cover scheme порядок срочного покрытия валютного риска general aid scheme программа общей помощи guarantee scheme система гарантий hedging scheme бирж. система хеджирования home help scheme соц. система помощи на дому home market scheme структура внутреннего рынка implement a scheme осуществлять план incentive scheme система материального стимулирования index account scheme система индексации instalment scheme система продажи в рассрочку insurance scheme система страхования investor protection scheme система защиты инвестора land consolidation scheme программа укрупнения участков земли large-scale scheme крупномасштабный проект scheme план, проект; программа; to lay a scheme составлять план, задумывать, замышлять loan scheme программа кредитования loan scheme система кредитования market making scheme программа создания рынка marketing scheme программа сбыта продукции marketing scheme система маркетинга national pension scheme государственная программа пенсионного обеспечения new scheme новый порядок notification scheme порядок уведомления obligatory insurance scheme система обязательного страхования optimization scheme схема оптимизации pension fund scheme программа пенсионного обеспечения pension scheme пенсионная система (общий термин) pension scheme программа пенсионного обеспечения pensions assurance scheme программа страхового пенсионного обеспечения pilot scheme пробная схема pilot scheme экспериментальный план pool scheme объединение пенсионных фондов нескольких предприятий preservation scheme порядок охраны priority scheme вчт. система приоритетов private superannuation scheme система частных пенсий по выслуге лет probability scheme вероятностная схема profit-sharing scheme программа участия в прибылях компании quality label scheme система знаков качества quota scheme система квот rationalization scheme программа рационализации refinancing scheme система рефинансирования registration scheme порядок регистрации repurchase scheme система продажи и обратной покупки reward scheme система поощрений rotation scheme программа чередования sampling scheme план выборки savings scheme программа накопления сбережений scheme вчт. алгоритм scheme диаграмма scheme замышлять (недоброе); плести интриги scheme интрига, махинация; происки; bubble scheme дутое предприятие scheme конспект; краткое изложение scheme план, проект; программа; to lay a scheme составлять план, задумывать, замышлять scheme план scheme планировать, проектировать scheme последовательность операций scheme программа scheme проект scheme система, построение, расположение; under the present scheme of society при современном устройстве общества; a colour scheme сочетание цветов scheme система scheme структура scheme схема, чертеж scheme схема scheme of arrangement порядок разрешения спорных вопросов scheme of arrangement порядок урегулирования претензий scheme of arrangement схема мероприятия scheme of arrangement negotiations переговоры о порядке урегулирования претензий scheme of arrangement proposal предложение о порядке урегулирования претензий scheme of distribution схема распределения scheme of payment порядок платежей scheme of social security benefits система пособий по социальному страхованию selective financing scheme система выборочного финансирования self-pensioning scheme программа пенсионного обеспечения за счет собственных средств selling scheme программа продажи settlement scheme порядок производства расчетов simulation scheme схема моделирования slum clearance scheme план сноса ветхих домов sorting scheme способ сортировки special deposit scheme система специальных депозитов special financing scheme система специального финансирования statutory insurance scheme установленная законом программа страхования subsidy scheme программа дотаций subsidy scheme программа субсидий superannuation scheme программа пенсионного обеспечения support scheme план поддержки support scheme проект поддержки tax avoidance scheme система уклонения от налогов tax declaration scheme порядок представления налоговой декларации tax-privileged savings scheme программа аккумуляции сбережений с налоговыми льготами taxation scheme порядок налогообложения town planning scheme программа городского планирования training scheme план профподготовки transitional scheme временный план trial scheme предварительная схема scheme система, построение, расположение; under the present scheme of society при современном устройстве общества; a colour scheme сочетание цветов unemployment benefit scheme программа пособий по безработице wiring scheme схема коммутации -
12 scheme
- anticoincendence selection scheme
- axiom scheme
- binary intercommunication scheme
- binary output scheme
- binary transfer scheme
- binominal sampling scheme
- coding scheme
- coincidence selection scheme
- computational scheme
- constraint dropping scheme
- database scheme
- decoding scheme
- fan-in scheme
- fan-out scheme
- formatting scheme
- frequency-sharing scheme
- functional scheme
- half-shifted dot scheme
- induction scheme
- information transfer scheme
- interleaving scheme
- labeling scheme
- licensing scheme
- multigrid scheme
- partical recursive scheme
- pinout scheme
- primitive recursive scheme
- priority scheme
- proof scheme
- SPE scheme
- time-sharing scheme
- version numbering scheme
- write-back scheme
- write-through schemeEnglish-Russian dictionary of computer science and programming > scheme
-
13 axiom
-
14 scheme
ski:m
1. сущ.
1) нечто задуманное, спланированное а) план, проект;
программа to concoct, cook up, devise, think up a scheme ≈ думать над проектом, обдумывать проект to foil, thwart a scheme ≈ разрушать планы diabolical scheme ≈ дьявольский план, коварный замысел fantastic scheme ≈ фантастический, нереальный план get-rich-quick scheme ≈ план быстрого обогащения grandiose scheme ≈ грандиозный план nefarious scheme ≈ бесчестные, гнусные, низкие интриги preposterous, wild-eyed scheme ≈ нелепый, абсурдный план she concocted a scheme to get publicity ≈ она придумала план, как завоевать общественное мнение б) интрига, махинация;
козни, происки bubble scheme Syn: machination, intrigues, intrigue
2) система, устройство;
построение, план Syn: system
3) а) рисунок, схема;
диаграмма, чертеж (графическое представление какой-то структуры) б) конспект, общая картина, портрет( краткое письменное или словесное изложение)
2. гл.
1) замышлять( недоброе) ;
плести интриги, интриговать Many politicians are mostly concerned with scheming for personal power. ≈ Многие политики главным образом озабочены тем, чтобы захватить власть в свои руки.
2) планировать, проектировать, составлять план план, проект, программа - a * of work график /план/ работы - a * for a canal проект канала - a * of maneuver( военное) план маневра - simple * простой план /проект/ - to draw up a * набросать план /проект/ - now, what's the *? (разговорное) ну, каков план действий? - to lay down a * of education излагать программу образования - under the proposed * согласно предложенному плану замысел - daring * дерзкий замысел система, структура, построение - (a) colour * сочетание цветов - an effective colour * эффектный подбор цветов - a * of life уклад жизни - the * of a sonata построение сонаты - the * of the sonnet форма /структура/ сонета - the * of society структура общества тайный или нечестный замысел, заговор;
махинация, интрига - shady *s темные махинации - *s and intrigues махинации и интриги - to lay /to devise, to concoct/ a * to do smth. замышлять что-л. - to thwart smb.'s *s сорвать чьи-л. замыслы краткий план, конспект;
резюме - to give the students a * of work for the year дать студентам план работы на текущий год схема, чертеж, диаграмма pl пустые мечты, прожекты (логика) (философское) схема (диалектизм) эскапада, веселый кутеж( устаревшее) внешняя форма, внешний вид( устаревшее) гороскоп замышлять (недоброе) ;
строить тайные планы - to * smb.'s downfall строить тайные планы свержения кого-л. плести интриги, интриговать - to * for power интригами добиваться власти - he had been scheming for a bigger share in the running of the business интригами он пытался добиться большего участия в управлении предприятием планировать;
разрабатывать план, проект ( чего-л.) - to * a system of water supply разрабатывать проект водоснабжения - to * out a new method of langauge teaching разработать /изобрести/ новый метод преподавания языков( редкое) сводить к схеме, к формуле agricultural ~ структура сельского хозяйства allocation ~ вчт. схема размещения amended ~ усовершенствованная программа amortization ~ план погашения долга в рассрочку assurance ~ система гарантий audit ~ порядок ревизии axiom ~ схема аксиом block ~ блок-схема block ~ структурная схема bonus ~ порядок получения надбавок к заработной плате bonus ~ система участия в прибылях ~ интрига, махинация;
происки;
bubble scheme дутое предприятие certification ~ порядок сертификации classification ~ система классификации coding ~ вчт. схема кодирования ~ система, построение, расположение;
under the present scheme of society при современном устройстве общества;
a colour scheme сочетание цветов Community ~ структура Европейского экономического сообщества company health insurance ~ система страхования работников компании от болезней compulsory insurance ~ страх. порядок обязательного страхования computational ~ вычислительный алгоритм concessionary ~ концессионная политика conditional sale ~ порядок условной продажи conversion ~ порядок конверсии costing ~ порядок калькуляции себестоимости debt rescheduling ~ программа реструктуризации долга decoding ~ схема декодирования depositors' guarantee ~ программа обеспечения защиты вкладов discount ~ система учетных ставок distribution ~ система распределения duty ~ график дежурств explanatory ~ пояснительная схема financial ~ финансовый план financing ~ план финансирования financing ~ программа финансирования forward cover ~ порядок срочного покрытия валютного риска general aid ~ программа общей помощи guarantee ~ система гарантий hedging ~ бирж. система хеджирования home help ~ соц. система помощи на дому home market ~ структура внутреннего рынка implement a ~ осуществлять план incentive ~ система материального стимулирования index account ~ система индексации instalment ~ система продажи в рассрочку insurance ~ система страхования investor protection ~ система защиты инвестора land consolidation ~ программа укрупнения участков земли large-scale ~ крупномасштабный проект ~ план, проект;
программа;
to lay a scheme составлять план, задумывать, замышлять loan ~ программа кредитования loan ~ система кредитования market making ~ программа создания рынка marketing ~ программа сбыта продукции marketing ~ система маркетинга national pension ~ государственная программа пенсионного обеспечения new ~ новый порядок notification ~ порядок уведомления obligatory insurance ~ система обязательного страхования optimization ~ схема оптимизации pension fund ~ программа пенсионного обеспечения pension ~ пенсионная система (общий термин) pension ~ программа пенсионного обеспечения pensions assurance ~ программа страхового пенсионного обеспечения pilot ~ пробная схема pilot ~ экспериментальный план pool ~ объединение пенсионных фондов нескольких предприятий preservation ~ порядок охраны priority ~ вчт. система приоритетов private superannuation ~ система частных пенсий по выслуге лет probability ~ вероятностная схема profit-sharing ~ программа участия в прибылях компании quality label ~ система знаков качества quota ~ система квот rationalization ~ программа рационализации refinancing ~ система рефинансирования registration ~ порядок регистрации repurchase ~ система продажи и обратной покупки reward ~ система поощрений rotation ~ программа чередования sampling ~ план выборки savings ~ программа накопления сбережений scheme вчт. алгоритм ~ диаграмма ~ замышлять (недоброе) ;
плести интриги ~ интрига, махинация;
происки;
bubble scheme дутое предприятие ~ конспект;
краткое изложение ~ план, проект;
программа;
to lay a scheme составлять план, задумывать, замышлять ~ план ~ планировать, проектировать ~ последовательность операций ~ программа ~ проект ~ система, построение, расположение;
under the present scheme of society при современном устройстве общества;
a colour scheme сочетание цветов ~ система ~ структура ~ схема, чертеж ~ схема ~ of arrangement порядок разрешения спорных вопросов ~ of arrangement порядок урегулирования претензий ~ of arrangement схема мероприятия ~ of arrangement negotiations переговоры о порядке урегулирования претензий ~ of arrangement proposal предложение о порядке урегулирования претензий ~ of distribution схема распределения ~ of payment порядок платежей ~ of social security benefits система пособий по социальному страхованию selective financing ~ система выборочного финансирования self-pensioning ~ программа пенсионного обеспечения за счет собственных средств selling ~ программа продажи settlement ~ порядок производства расчетов simulation ~ схема моделирования slum clearance ~ план сноса ветхих домов sorting ~ способ сортировки special deposit ~ система специальных депозитов special financing ~ система специального финансирования statutory insurance ~ установленная законом программа страхования subsidy ~ программа дотаций subsidy ~ программа субсидий superannuation ~ программа пенсионного обеспечения support ~ план поддержки support ~ проект поддержки tax avoidance ~ система уклонения от налогов tax declaration ~ порядок представления налоговой декларации tax-privileged savings ~ программа аккумуляции сбережений с налоговыми льготами taxation ~ порядок налогообложения town planning ~ программа городского планирования training ~ план профподготовки transitional ~ временный план trial ~ предварительная схема ~ система, построение, расположение;
under the present scheme of society при современном устройстве общества;
a colour scheme сочетание цветов unemployment benefit ~ программа пособий по безработице wiring ~ схема коммутации -
15 sequencing axiom
-
16 reducibility axiom
The English-Russian dictionary general scientific > reducibility axiom
-
17 separation axiom
The English-Russian dictionary general scientific > separation axiom
-
18 triangle axiom
The English-Russian dictionary general scientific > triangle axiom
-
19 import deposit scheme
-
20 levy subsidy scheme
- 1
- 2
См. также в других словарях:
axiom scheme — noun A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. Syn: axiom schema … Wiktionary
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Axiom schema of specification — For the separation axioms in topology, see separation axiom. In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or… … Wikipedia
axiom schema — noun A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. Syn: axiom scheme … Wiktionary
Trent Accreditation Scheme — The Trent Accreditation Scheme (TAS) [cite web |url=http://www.trentaccreditationscheme.org/ |title=Trent Accreditation Scheme |format= |work= |accessdate=2008 06 03] is a United Kingdom based non profit organisation formed with a mission to… … Wikipedia
Bernoulli scheme — In mathematics, the Bernoulli scheme or Bernoulli shift is a generalization of the Bernoulli process to more than two possible outcomes.[1][2] Bernoulli schemes are important in the study of dynamical systems, as most such systems (such as Axiom… … Wikipedia
Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Zermelo set theory — Zermelo set theory, as set out in an important paper in 1908 by Ernst Zermelo, is the ancestor of modern set theory. It bears certain differences from its descendants, which are not always understood, and are frequently misquoted. This article… … Wikipedia
Cantor's diagonal argument — An illustration of Cantor s diagonal argument for the existence of uncountable sets. The sequence at the bottom cannot occur anywhere in the list of sequences above. Cantor s diagonal argument, also called the diagonalisation argument, the… … Wikipedia